Interactive computation - PDFSEARCH.IO - Document Search Engine

Interactive computation
Results: 89

#	Item
41	Asia Pacific Mathematics Newsletter 1 PushingBack Back the Add to Reading List Source URL: www.asiapacific-mathnews.com Language: English - Date: 2012-02-16 01:26:08 Mathematics Computability theory Turing machine Alan Turing Halting problem Computable number Computability Turing test Interactive computation Theory of computation Theoretical computer science Computer science
42	Inversion in Geology by Interactive Evolutionary Computation Chris Wijns Add to Reading List Source URL: earthbyte.org Language: English - Date: 2010-03-02 22:57:31 Structural geology Plasticity Inversion Tectonics Geologic modelling Yield Inverse problem Genetic algorithm Economic model Geology Mechanics Economic geology
43	On Quantum Interactive Proofs with Short Messages Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2012-12-09 02:04:20 Quantum complexity theory Models of computation Probabilistic complexity theory Quantum information science QIP QMA Interactive proof system IP Arthur–Merlin protocol Theoretical computer science Computational complexity theory Applied mathematics
44	(P)NFG: A LANGUAGE AND RUNTIME SYSTEM FOR STRUCTURED COMPUTER NARRATIVES Christopher J.F. Pickett Clark Verbrugge F´elix Martineau School of Computer Science, McGill University Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2005-08-08 06:59:50 Diagrams Freeware NuSMV Models of computation Petri net Model checking Inform Hugo Binary decision diagram Software Interactive fiction Computing
45	SIGEVOlution - Volume 7 Issue 1 Add to Reading List Source URL: www.sigevolution.org Language: English - Date: 2014-08-08 11:03:56 Theoretical computer science Mathematical optimization Cybernetics Operations research Genetic algorithms Interactive evolutionary computation Genetic programming Evolutionary computation Multidimensional scaling Evolutionary algorithms Applied mathematics Mathematics
46	Quantum Merlin-Arthur Proof Systems: Are Multiple Merlins More Helpful to Arthur?∗ Hirotada Kobayashia b † Keiji Matsumotoa b ‡ Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2009-07-17 07:53:04 Quantum complexity theory Quantum information science Models of computation QMA Interactive proof system PP IP Soundness Quantum computer Theoretical computer science Applied mathematics Computational complexity theory
47	Proofs that Yield All Languages Proof Add to Reading List Source URL: nakamotoinstitute.org Language: English - Date: 2014-03-23 11:48:58 Complexity classes Cryptographic protocols Probabilistic complexity theory Models of computation Interactive proof system Zero-knowledge proof NP IP Arthur–Merlin protocol Theoretical computer science Computational complexity theory Applied mathematics
48	Policy-Based Non-interactive Outsourcing of Computation using multikey FHE and CP-ABE∗ Michael Clear† and Ciar´an McGoldrick School of Computer Science and Statistics, Trinity College Dublin {clearm, Ciaran.McGoldri Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2013-12-29 11:13:19 Ciphertext indistinguishability Ciphertext Security Semantic security RSA Applied mathematics Cryptography Homomorphic encryption Cyberwarfare
49	Publicly Verifiable Non-Interactive Arguments for Delegating Computation Omer Paneth∗ Guy N. Rothblum† Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2014-12-04 14:50:06
50	in Artificial Life VIII, Standish, Abbass, Bedau (eds)(MIT Presspp 410–SBEAT3: A Tool for Multi-part Music Composition by Simulated Breeding Add to Reading List Source URL: alife8.alife.org Language: English - Date: 2013-01-14 08:21:48 Population genetics Evolutionary biology Evolutionary algorithms Cybernetics Genetic algorithm Genotype Interactive evolutionary computation Evolution Fitness landscape Biology Genetics Philosophy of biology

UPDATE